Implementation of Multi-continued Fraction Algorithm and Application to Multi-sequence Linear SynthesisQUANLONG WANG; KUNPENG WANG; ZONGDUO DAI et al.Lecture notes in computer science. 2006, pp 248-258, issn 0302-9743, isbn 3-540-44523-4, 1Vol, 11 p.Conference Paper

Incremental approach to computation of elementary siphons for arbitrary simple sequential processes with resourcesCHAO, D. Y.IET control theory & applications (Print). 2008, Vol 2, Num 2, pp 168-179, issn 1751-8644, 12 p.Article

The Intensional Content of Rice's Theorem (Pearl)ASPERTI, Andrea.ACM SIGPLAN notices. 2008, Vol 43, Num 1, pp 113-119, issn 1523-2867, 7 p.Conference Paper

New pseudopolynomial complexity bounds for the bounded and other integer Knapsack related problemsTAMIR, Arie.Operations research letters. 2009, Vol 37, Num 5, pp 303-306, issn 0167-6377, 4 p.Article

The use of edge-directions and linear programming to enumerate verticesONN, Shmuel; ROTHBLUM, Uriel G.Journal of combinatorial optimization. 2007, Vol 14, Num 2-3, pp 153-164, issn 1382-6905, 12 p.Conference Paper

Polynomial Time Complexity of Edge Colouring Graphs with Bounded Colour ClassesRIZZI, Romeo; CARIOLARO, David.Algorithmica. 2014, Vol 69, Num 3, pp 494-500, issn 0178-4617, 7 p.Article

Linear Complexity of a New Generalized Cyclotomic Sequence of Order Two of Length pqXIAOPING LI; WENPING MA; TONGJIANG YAN et al.IEICE transactions on fundamentals of electronics, communications and computer science. 2013, Vol 96, Num 5, pp 1001-1005, issn 0916-8508, 5 p.Article

Optimal controllability of 3-composed siphons in a class of Petri netsHOU, Y. F; LI, Z. W; HONG, L et al.Electronics letters. 2013, Vol 49, Num 11, pp 697-699, issn 0013-5194, 3 p.Article

Reducing model checking commitments for agent communication to model checking ARCTL and GCTLMOHAMED EL MENSHAWY; BENTAHAR, Jamal; WARDA EL KHOLY et al.Autonomous agents and multi-agent systems. 2013, Vol 27, Num 3, pp 375-418, issn 1387-2532, 44 p.Article

Approximation Algorithms for Restless Bandit ProblemsGUHA, Sudipto; MUNAGALA, Kamesh; PENG SHI et al.Journal of the Association for Computing Machinery. 2011, Vol 58, Num 1, issn 0004-5411, 3.1-3.50Article

Online railway delay management: Hardness, simulation and computationBERGER, Andre; HOFFMANN, Ralf; LORENZ, Ulf et al.Simulation (San Diego, Calif.). 2011, Vol 87, Num 7, pp 616-629, issn 0037-5497, 14 p.Article

On the complexity of computing the handicap of a sufficient matrixDE KLERK, Etienne; NAGY, Marianna E.Mathematical programming (Print). 2011, Vol 129, Num 2, pp 383-402, issn 0025-5610, 20 p.Conference Paper

The coherence of Lukasiewicz assessments is NP-completeBOVA, Simone; FLAMINIO, Tommaso.International journal of approximate reasoning. 2010, Vol 51, Num 3, pp 294-304, issn 0888-613X, 11 p.Article

QIP = PSPACEJAIN, Rahul; ZHENGFENG JI; UPADHYAY, Sarvagya et al.Communications of the ACM. 2010, Vol 53, Num 12, pp 102-109, issn 0001-0782, 8 p.Article

A First-Order Hybrid Petri Net Model for Supply Chain ManagementDOTOLI, Mariagrazia; PIA FANTI, Maria; IACOBELLIS, Giorgio et al.IEEE transactions on automation science and engineering. 2009, Vol 6, Num 4, pp 744-758, issn 1545-5955, 15 p.Article

On neighbor discovery in cognitive radio networksMITTAL, Neeraj; KRISHNAMURTHY, Srinivasan; CHANDRASEKARAN, R et al.Journal of parallel and distributed computing (Print). 2009, Vol 69, Num 7, pp 623-637, issn 0743-7315, 15 p.Article

Adaptive large-neighborhood self-regular predictor-corrector interior-point methods for linear optimizationSALAHI, M; TERLAKY, T.Journal of optimization theory and applications. 2007, Vol 132, Num 1, pp 143-160, issn 0022-3239, 18 p.Article

Design of multiunit electronic exchanges through decompositionDAYAMA, Pankaj; NARAHARI, Y.IEEE transactions on automation science and engineering. 2007, Vol 4, Num 1, pp 67-74, issn 1545-5955, 8 p.Article

Constraint satisfaction with bounded treewidth revisitedSAMER, Marko; SZEIDER, Stefan.Lecture notes in computer science. 2006, pp 499-513, issn 0302-9743, isbn 3-540-46267-8, 1Vol, 15 p.Conference Paper

Control of nondeterministic discrete event systems for simulation equivalenceCHANGYAN ZHOU; KUMAR, Ratnesh.IEEE Conference on Decision and Control. 2004, isbn 0-7803-8682-5, Vol 1, 507-512Conference Paper

Generalized Chat Noir is PSPACE-Complete : New Trends in Algorithms and Theory of ComputationIWAMOTO, Chuzo; MUKAI, Yuta; SUMIDA, Yuichi et al.IEICE transactions on information and systems. 2013, Vol 96, Num 3, pp 502-505, issn 0916-8532, 4 p.Article

POLYNOMIAL TIME-BOUNDED COMPUTATIONS IN SPIKING NEURAL P SYSTEMSSOSÍK, Petr; RODRÍGUEZ-PATÓN, Alfonso; CIENCIALOVAÁ, Lucie et al.Neural Network World (Prague). 2013, Vol 23, Num 1, pp 31-48, issn 1210-0552, 18 p.Conference Paper

An incremental tabu search heuristic for the generalized vehicle routing problem with time windowsMOCCIA, L; CORDEAU, J.-F; LAPORTE, G et al.The Journal of the Operational Research Society. 2012, Vol 63, Num 2, pp 232-244, issn 0160-5682, 13 p.Article

A Simple 2^o(√x) Algorithm for PARTITION and SUBSET SUMO'NEIL, Thomas E; KERLIN, Scott.Foundations of computer science. International conferenceWorldComp'2010. 2010, pp 55-58, isbn 1-60132-142-2, 4 p.Conference Paper

A new heuristic for the multi-mode resource investment problemHSU, C-C; KIM, D. S.The Journal of the Operational Research Society. 2005, Vol 56, Num 4, pp 406-413, issn 0160-5682, 8 p.Article